home *** CD-ROM | disk | FTP | other *** search
/ Developer CD Series 1994 August: Tool Chest / Dev.CD Aug 94.toast / Tool Chest / Development Platforms / Macintosh Common Lisp Related / Lisp FAQ 21Sept93 / 6.FTP Archives&Resources < prev    next >
Encoding:
Internet Message Format  |  1993-09-21  |  57.6 KB  |  [TEXT/ttxt]
  1. Subject: FAQ: Lisp FTP Resources 6/7 [Monthly posting]
  2. Newsgroups: comp.lang.lisp,news.answers,comp.answers
  3. Summary: FTP Resources and Free Lisp Software
  4. Distribution: world
  5. Followup-To: poster
  6. Reply-To: lisp-faq@think.com
  7. Approved: news-answers-request@MIT.Edu
  8.  
  9. Archive-name: lisp-faq/part6
  10. Last-Modified: Mon Sep 13 20:13:31 1993 by Mark Kantrowitz
  11. Version: 1.38
  12.  
  13. ;;; ****************************************************************
  14. ;;; FTP Archives and Other Resources *******************************
  15. ;;; ****************************************************************
  16. ;;; Written by Mark Kantrowitz and Barry Margolin
  17. ;;; lisp-faq-6.text -- 58315 bytes
  18.  
  19. This post contains Part 6 of the Lisp FAQ.
  20.  
  21. If you think of questions that are appropriate for this FAQ, or would
  22. like to improve an answer, please send email to us at lisp-faq@think.com.
  23.  
  24. Topics Covered (Part 6):
  25.   [6-0] General information about FTP Resources for Lisp
  26.   [6-1] Repositories of Lisp Software
  27.   [6-3] Publicly Redistributable Lisp Software
  28.   [6-6] Formatting code in LaTeX
  29.   [6-7] Where can I get an implementation of Prolog in Lisp?
  30.  
  31. Search for \[#\] to get to question number # quickly.
  32.  
  33. ----------------------------------------------------------------
  34. Subject: [6-0] General information about FTP Resources for Lisp
  35.  
  36. Remember, when ftping compressed or compacted files (.Z, .z, .arc, .fit,
  37. etc.) to use binary mode for retrieving the files.
  38.  
  39. Files that end with a .z suffix were compressed with the patent-free
  40. gzip (no relation to zip). Source for gzip is available from:
  41.    prep.ai.mit.edu:pub/gnu/{gzip-1.0.7.shar,gzip-1.0.7.tar}
  42.  
  43. FTP sites for Lisp and Scheme interpreters and compilers are discussed
  44. in the answer to questions [4-0] and [4-2] and in the Scheme FAQ. See
  45. the entry on Macintosh Common Lisp in question [4-1] for information
  46. on the CD-ROM of Lisp code that Apple distributes with MCL 2.0.
  47.  
  48. ----------------------------------------------------------------
  49. Subject: [6-1] Repositories of Lisp Software
  50.  
  51. There are several repositories of publicly redistributable and
  52. public domain Lisp code. 
  53.  
  54.    The Lisp Utilities collection is accessible by anonymous ftp
  55.    to any CMU CS machine (e.g., ftp.cs.cmu.edu [128.2.206.173])
  56.    or through AFS in the directory
  57.       /afs/cs.cmu.edu/project/ai-repository/ai/lang/lisp/
  58.    If accessing this directory through anonymous ftp, it is 
  59.    important to "cd" to the directory using one atomic operation, as
  60.    some of the superior directories on the path are protected from
  61.    access by an anonymous ftp.
  62.    Files included in the repository include:
  63.       extensions.lisp         A collection of extensions to Common Lisp.
  64.       initializations.lisp    Brad Miller's initializations packaged
  65.                               for Allegro CL 4.0.
  66.       xref.lisp               Portable cross referencing tool for Lisp.
  67.                               Similar to the Symbolics Who-Calls and
  68.                               the Xerox MasterScope programs.
  69.       defsystem.lisp          Portable system definition facility (a
  70.                               "Make" for lisp). More featureful than
  71.                               other defsystem implementations.
  72.       logical-pathnames.lisp  Portable implementation of the X3J13
  73.                               June 1989 specification for logical pathnames. 
  74.       metering.lisp           Portable code time/space profiling tool.
  75.       source-compare.lisp     A portable "diff" utility for Lisp.
  76.       user-manual.lisp        Program which helps with documenting Lisp code.
  77.       psgraph.lisp            Joe Bates' PostScript DAG grapher.
  78.       matcher.lisp            A regexp-like matcher for Lisp.
  79.       framework.lisp          A portable generic frame system.
  80.       date-formatter.lisp     Simple code for formatting a date.
  81.       infix.lisp              Infix reader macro for Lisp.
  82.       save-object.lisp        Kerry Koitzsch's package to save ASCII
  83.                               representations of Lisp objects to a file. 
  84.       defpackage.lisp         Stephen Nicoud's semi-portable
  85.                               CLtL2 version of defpackage. 
  86.       lalr.lisp               Mark Johnson's lisp YACC parser generator.
  87.       ops5.tar.Z              Public domain Common Lisp implementation 
  88.                               of the OPS5 production system interpreter.
  89.                               "Expert System Shell".
  90.                               Written by Charles Forgy and ported by
  91.                               George Wood and Jim Kowalski.
  92.       cmu-loop.lisp           Implements the CLtL2 Loop Macro.
  93.       mit-loop.lisp           Implements the CLtL1 Loop Macro.
  94.       sloop.lisp              William Schelter's loop macro, not CLtL1/2.
  95.       yloop.lisp              Frank Ritter and Jim Panagos' implementation
  96.                               of the Yale loop macro described in
  97.                               McDermont, Charniak and Riesbeck's
  98.                               AI programming book. Not CLtL1/2.
  99.       ew/                     Express Windows distribution.
  100.       iterate/                The Iterate Macro.
  101.       series/                 Waters' Series Macro package.
  102.       xp.tar.Z                Waters' XP Lisp Pretty Printer
  103.       simplex.lisp            Bruno Haible's implementation of the Simplex
  104.                               algorithm.
  105.       mapforms.tar.Z          Moon's code walker.
  106.       resources.lisp          Brad Miller's resources package.
  107.       nregex.lisp             Lawrence Freil's regular expression matching code
  108.    The Lisp Utilities repository is maintained by Mark Kantrowitz,
  109.    lisp-utilities-request@cs.cmu.edu.
  110.  
  111.    The CLOS code repository is available by anonymous ftp to
  112.    nervous.cis.ohio-state.edu [128.146.61.200] in the directory
  113.    pub/lispusers/clos/. If you've got code you'd like to add to the
  114.    repository, send mail to Arun Welch, commonloops-request@cis.ohio-state.edu.
  115.    The CLOS code repository includes dag.lisp.Z and 3DGeometry.lisp.
  116.    [The AI Repository's Lisp Section includes a directory of CLOS code
  117.    as well, in ftp.cs.cmu.edu:user/ai/lang/lisp/oop/clos-code/.]
  118.  
  119.    The Macintosh Common Lisp repository contains Lisp code for
  120.    MCL contributed by MCL users. It is available by anonymous ftp from
  121.    cambridge.apple.com:pub/MCL2/CONTRIB/       [134.149.2.3]
  122.    and also contains the Info-MCL mailing list archives. The
  123.    repository contains, among other things, AV_Parser.hqx and Zebu
  124.    (general parser toolkits), babylon-2.2.sit.hqx (expert system shell
  125.    from GMD in Germany), btree.sit.hqx (binary trees), LGL.lisp (Lisp
  126.    Graphics Library for MCL), quicktime code, mmlisp.sit.hqx
  127.    (midi-manager interface), tips on optimizing MCL code, PARKA.sit.hqx
  128.    (a knowledge representation system), starsim.sit.hqx (*Lisp for MCL),
  129.    IP/TCP examples, and support for hypercard XCMDs and XFCNs.  See the
  130.    file README for a quick overview of the contents of the MCL
  131.    repository.
  132.  
  133.    The CLIM Library (a library of user contributed code for the CLIM
  134.    environment) is available by anonymous ftp on
  135.       cambridge.apple.com:/pub/clim [134.149.2.3]
  136.    For information on CLIM, see the entry in [6-5] below.  For more
  137.    information on the CLIM Library, contact Vincent Keunen, keunen@nrb.be.
  138.  
  139.    MIT AI Lab -- ftp.ai.mit.edu:pub/
  140.       loop-macro.tar               [LOOP from CLtL1]
  141.       series/                      [SERIES from CLtL2; older version]
  142.       Iterate/                     [Alternative to series and loop.]
  143.       clmath.tar                   [Numeric math 1984]
  144.       ontic/                       [ONTIC Knowledge Rep. for Mathematics]
  145.    clmath is a Lisp library of mathematical functions that calculate
  146.    hyperbolic and inverse hyperbolic functions, Bessel functions,
  147.    elliptic integrals, the gamma and beta functions, and the incomplete
  148.    gamma and beta functions.  There are probability density functions,
  149.    cumulative distributions, and random number generators for the normal,
  150.    Poisson, chi-square, Student's T, and Snedecor's F functions. Discrete
  151.    Fourier Transforms. Multiple linear regression, Fletcher-Powell
  152.    unconstrained minimization, numerical integration, root finding,
  153.    and convergence. Code to factor numbers and to do the
  154.    Solovay-Strassen probabilistic prime test is included. 
  155.    A technical report describing CLMath is available as MIT AI Lab
  156.    Memo 774, Gerald Roylance, "Some Scientific Subroutines in LISP",
  157.    September 1984. Iterate is Jonathan Amsterdam's alternative to
  158.    series and the Loop macro. For more information, contact jba@ai.mit.edu.
  159.  
  160.    The LispUsers Archives, a collection of programs for Medley, can be
  161.    found on nervous.cis.ohio-state.edu:pub/lispusers/medley. The files
  162.    include a plotting module, addressbook, chat program, clock,
  163.    call-grapher, grep implementation, Tower of Hanoi, Life, lisp dialect
  164.    translator, and fonts. Also on nervous.cis.ohio-state.edu is GTT, an
  165.    implementation of Chandrasekaran's Generic Tasks Toolset, in directory
  166.    pub/lispusers/toolset.
  167.  
  168.    There's a repository of Amiga LISP implementations (and other Lisp-like
  169.    language implementations) on gatekeeper.pa.dec.com:pub/micro/amiga/lisp/.
  170.  
  171.    Common Lisp versions of the mini programs from "Inside Computer
  172.    Understanding" by Schank and Riesbeck, 1981, are available by
  173.    anonymous ftp from cs.umd.edu in the directory pub/schank/icu. This
  174.    includes the SAM and ELI miniatures. It will eventually include copies
  175.    of the miniature versions of PAM, POLITICS, and Tale-Spin. The FOR
  176.    macro is also available in this directory, as are a set of functions
  177.    for manipulating and matching lisp representations of Conceptual
  178.    Dependency formulas.  Contact Bill Andersen <waander@cs.umd.edu> for
  179.    more information. 
  180.  
  181.    Norvig:
  182.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  183.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  184.    Macintosh or DOS format from the publisher, Morgan Kaufmann.
  185.    |
  186.    Software includes Common Lisp implementations of:
  187.       Eliza and pattern matchers, Emycin, Othello, Parsers,
  188.       Scheme interpreters and compilers, Unification and a prolog
  189.       interpreter and compiler, Waltz line-labelling,
  190.       implementation of GPS, macsyma, and random number generators.
  191.    |
  192.    For more information, contact:
  193.            Morgan Kaufmann, Dept. P1, 2929 Campus Drive, Suite 260
  194.            San Mateo CA 94403, (800) 745-7323; FAX: (415) 578-0672
  195.              Mac          ISBN 1-55860-227-5
  196.              DOS 3.5"     ISBN 1-55860-228-3
  197.              DOS 5.25"    ISBN 1-55860-229-1
  198.  
  199.    A catalog of free and commercial natural language software is
  200.    available from the Natural Language Software Registry, by anonymous
  201.    ftp from ftp.dfki.uni-sb.de in the directory /registry, or by email to
  202.    registry@dfki.uni-sb.de.
  203.  
  204.    TI Explorer Lisp Code -- sumex-aim.stanford.edu:pub/exp/
  205.    The Knowledge Systems Lab's set of Explorer patches and tools. It
  206.    includes in the jwz subdirectory a set of tools written and collected
  207.    by Jamie Zawinski. Send questions to acuff@sumex-aim.stanford.edu.
  208.  
  209.    Dick Waters/MERL: XP, Series
  210.       Dick Waters' XP Lisp Pretty Printer is available by anonymous ftp
  211.       from merl.com:/pub/xp/ as the files xp-code.lisp, xp-doc.txt, and
  212.       xp-test.lisp.
  213.  
  214.       The Series Macro is also available from this site in the directory
  215.       /pub/series/ as the files s-code.lisp, s-test.lisp, and s-doc.txt. The
  216.       Series macro package is described fully in Waters, R.C., "Automatic
  217.       Transformation of Series Expressions into Loops", ACM Transactions on
  218.       Programming Languages and Systems, 13(1):52--98, January 1991,
  219.       MIT/AIM-1082 and MIT/AIM-1083.
  220.  
  221.       Both programs are also available from the Lisp Utilities Repository
  222.       described above.
  223.  
  224.       For further information, contact Dick Waters, <dick@merl.com> or
  225.       <dick@ai.mit.edu>. An improved version of Series is in the works.
  226.  
  227. ----------------------------------------------------------------
  228. Subject: [6-3] Publicly Redistributable Lisp Software
  229.  
  230. AI Algorithms and Tools:
  231.  
  232.    PAIL (Portable AI Lab) is a computing environment containing a
  233.    collection of state-of-the-art AI tools, examples, and documentation.
  234.    It is aimed at those involved in teaching AI courses at university
  235.    level or equivalent. The system has enough built-in functionality to
  236.    enable its users to get practical experience with a broad range of AI
  237.    problems without having to build all the supporting tools from
  238.    scratch. It is implemented in Common Lisp and uses CLOS and Allegro
  239.    Common Windows (i.e., in Allegro CL 4.1). It is available by anonymous
  240.    ftp from pobox.cscs.ch (148.187.10.13) in the directory /pub/ai/pail-2.4/.
  241.    Written by Mike Rosner and Dean Allemang {dean,mike}@idsia.ch.
  242.  
  243.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  244.    other information maintained by the University of Texas at Austin.  It
  245.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  246.    Babbler, Jive, and some AI-related programming languages.  This
  247.    archive is available by anonymous ftp from ftp.cc.utexas.edu
  248.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  249.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  250.  
  251. Analogical Reasoning:
  252.  
  253.    SME is the Structure-Mapping Engine, as described in Falkenhainer,
  254.    Forbus, and Gentner's 1987 AIJ article.  Available from
  255.    multivac.ils.nwu.edu:pub/SME For further information, contact Brian
  256.    Falkenhainer <falkenhainer@parc.xerox.com> or Ken Forbus
  257.    <forbus@ils.nwu.edu>.
  258.  
  259. Benchmarks:
  260.  
  261.    Gabriel Lisp Benchmarks are available by anonymous ftp as
  262.    ai.toronto.edu:/pub/gabriel-lisp-benchmarks.tar.Z.
  263.    The benchmarks are described in the book "Performance Evaluation of
  264.    Lisp Systems", by Richard Gabriel. 
  265.  
  266.    Lucid CL contains a set of benchmarks in its goodies/ directory,
  267.    including Bob Boyer's logic programming benchmark, a benchmark to
  268.    create and browse through an AI-like database of units, a CLOS speed
  269.    test, a compilation speed test, TAKR (the 100 function version of TAK
  270.    that tries to defeat cache memory effects), CTAK (A version of the
  271.    TAKeuchi function that uses the CATCH/THROW facility), STAK (A version
  272.    of the TAKeuchi function with special variables instead of parameter
  273.    passing), DERIV and DDERIV (Symbolic derivative benchmarks written by
  274.    Vaughn Pratt), DESTRU (a destructive operation benchmark), DIV2 (a
  275.    benchmark which divides by 2 using lists of n ()'s), the FFT benchmark
  276.    written by Harry Barrow, FPRINT (a benchmark to print to a file),
  277.    FRPOLY (a Franz Lisp benchmark by Fateman based on polynomial
  278.    arithmentic), Forest Baskett's PUZZLE benchmark (originally written in
  279.    Pascal), the TPRINT benchmark to read and print to the terminal, a
  280.    benchmark that creates and traverses a tree structure, and TRIANG
  281.    (board game benchmark). Some of the benchmarks may work only in Lucid.
  282.  
  283. Blackboard Architectures:
  284.  
  285.    The UMass GBB system (V1.2) is available by anonymous ftp from
  286.    dime.cs.umass.edu:/gbb. The commercial GBB product is not.
  287.    Work on the UMass GBB project (and funding) ended over 2 years ago.
  288.    Many researchers using it have opted for the commercial
  289.    release.  The UMass research system remains available, but the
  290.    two should not be confused as the commercial system is
  291.    substantially improved and extended. The commercial system is available
  292.    from Blackboard Technology Group, PO Box 44, 401 Main Street,
  293.    Amherst, Massachusetts 01002, 413-256-4240.
  294.  
  295. Case-based Reasoning:
  296.  
  297.    CL-Protos is a Common Lisp implementation of the case-based
  298.    reasoning system developed by E. Ray Bareiss and Bruce W.
  299.    Porter of the University of Texas/Austin AI Lab. It runs
  300.    on Sun3, TI Explorer, HP 9000, and Symbolics, and gobbles a
  301.    huge amount of memory. Common Lisp implementation by
  302.    Rita Duran, Dan Dvorak, Jim Kroger, Hilel Swerdlin, and Ben Tso.
  303.    For more information, bug reports, or comments, contact
  304.    either Dan Dvorak <dvorak@cs.utexas.edu> or Ray Bareiss
  305.    <bareiss@ils.nwu.edu> or Erik Eilerts <eilerts@cs.utexas.edu>
  306.    Available by anonymous ftp from cs.utexas.edu:/pub/porter
  307.  
  308.    The complete code for "Inside Case-Based Reasoning" by Riesbeck and
  309.    Schank, 1989, is available by anonymous ftp from cs.umd.edu in the
  310.    directory pub/schank/icbr/. This includes code for an instructional
  311.    version of CHEF by Kristian Hammond and MICRO-xxx. Contact Bill
  312.    Andersen <waander@cs.umd.edu> for more information. 
  313.  
  314.  
  315. CLOS Software:
  316.    See question [5-6].
  317.  
  318.  
  319. Constraint Programming and Non-determinism:
  320.  
  321.    SCREAMER:
  322.  
  323.    Screamer is an extension of Common Lisp that adds support for
  324.    nondeterministic programming.  Screamer consists of two levels.  The
  325.    basic nondeterministic level adds support for backtracking and
  326.    undoable side effects.  On top of this nondeterministic substrate,
  327.    Screamer provides a comprehensive constraint programming language in
  328.    which one can formulate and solve mixed systems of numeric and
  329.    symbolic constraints.  Together, these two levels augment Common Lisp
  330.    with practically all of the functionality of both Prolog and
  331.    constraint logic programming languages such as CHiP and CLP(R).
  332.    Furthermore, Screamer is fully integrated with Common Lisp. Screamer
  333.    programs can coexist and interoperate with other extensions to Common
  334.    Lisp such as CLOS, CLIM and Iterate.
  335.  
  336.    In several ways Screamer is more efficient than other implementations
  337.    of backtracking languages.  First, Screamer code is transformed into
  338.    Common Lisp which can be compiled by the underlying Common Lisp
  339.    system.  Many competing implementations of nondeterministic Lisp are
  340.    interpreters and thus are far less efficient than Screamer.  Second,
  341.    the backtracking primitives require fairly low overhead in Screamer.
  342.    Finally, this overhead to support backtracking is only paid for those
  343.    portions of the program which use the backtracking primitives.
  344.    Deterministic portions of user programs pass through the Screamer to
  345.    Common Lisp transformation unchanged.  Since in practise, only small
  346.    portions of typical programs utilize the backtracking primitives,
  347.    Screamer can produce more efficient code than compilers for languages
  348.    in which backtracking is more pervasive.
  349.  
  350.    Screamer is fairly portable across most Common Lisp implementations.
  351.    It currently runs under Genera 8.1.1 and 8.3 on both Symbolics 36xx
  352.    and Ivory machines, under Lucid 4.0.2 and 4.1 on Sun SPARC machines,
  353.    under MCL 2.0 and 2.0p2 on Apple Macintosh machines, and under Poplog
  354.    Common Lisp on Sun SPARC machines.  It should run under any
  355.    implementation of Common Lisp which is compliant with CLtL2 and with
  356.    minor revision could be made to run under implementations compliant
  357.    with CLtL1 or dpANS.
  358.  
  359.    Screamer is available by anonymous FTP from ftp.ai.mit.edu as the file
  360.    /pub/screamer.tar.Z. Contact Jeffrey Mark Siskind <qobi@ai.mit.edu> for 
  361.    further information. Screamer is also available from the Lisp Utilities
  362.    Repository.
  363.  
  364.  
  365. Databases:
  366.  
  367.    Postgres is an object-oriented database, and is available
  368.    from postgres.berkeley.edu:/pub/postgres*
  369.    It runs on DecStation 3100s, Sun3 (SunOs), Sun4 (Sparc),
  370.    and Sequent Symmetry.
  371.  
  372. Eliza and Similar Programs:
  373.  
  374.    See Peter Norvig's book and AI_ATTIC (question [6-1] above).
  375.  
  376.    The doctor.el is an implementation of Eliza for
  377.    GNU-Emacs emacs-lisp. Invoke it with "Meta-X doctor"
  378.  
  379.    muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes
  380.    a Lisp implementation of Eliza.
  381.  
  382.    Implementations of ELIZA for other languages are mentioned in the AI FAQ.
  383.  
  384.    The original Parry (in MLISP for a PDP-10) is available in
  385.    labrea.stanford.edu:/pub/parry.tar.Z.
  386.  
  387.    Other programs, such as RACTER, are listed in part 4 of the AI FAQ.
  388.  
  389. Expert Systems:
  390.  
  391.    FOCL is an expert system shell and machine learning program written in
  392.    Common Lisp. The machine learning program extends Quinlan's FOIL
  393.    program by containing a compatible explanation-based learning
  394.    component.  FOCL learns Horn Clause programs from examples and
  395.    (optionally) background knowledge. The expert system includes a
  396.    backward-chaining rule interpreter and a graphical interface to the
  397.    rule and fact base. For details on FOCL, see: Pazzani, M. and Kibler,
  398.    D., "The role of prior knowledge in inductive learning", Machine
  399.    Learning 9:54-97, 1992. It is available by anonymous ftp from
  400.    ics.uci.edu as a (binhexed, compacted) Macintosh application,
  401.    pub/SaranWrap/KR-FOCL-ES.cpt.hqx, or as Common Lisp source code (see
  402.    pub/SaranWrap/README for details). If you use a copy of FOCL, or have
  403.    any comments or questions, send mail to pazzani@ics.uci.edu.
  404.  
  405.    BABYLON is a development environment for expert systems. It
  406.    includes frames, constraints, a prolog-like logic formalism, and a
  407.    description language for diagnostic applications. It is implemented in
  408.    Common Lisp and has been ported to a wide range of hardware platforms.
  409.    Available by anonymous ftp from gmdzi.gmd.de:gmd/ai-research/Software/
  410.    (129.26.8.90) as a BinHexed stuffit archive, on the Apple CD-ROM, or
  411.    with the book "The AI Workbench BABYLON", which contains *full source
  412.    code* of BABYLON and the stand-alone version for the Mac. The book
  413.    describes the use of BABYLON in detail.
  414.  
  415.    OPS5 -- See Lisp Utilities Repository in question [6-1].
  416.  
  417. Frame Languages:
  418.  
  419.    FrameWork is available in the Lisp Utilities Repository described above. 
  420.  
  421.    THEO (learning frame system) is available free from CMU, after
  422.    signing a license agreement. Send mail to Tom.Mitchell@cs.cmu.edu.
  423.  
  424.    FrameKit is available free from CMU, after signing a
  425.    license agreement. Send mail to Eric.Nyberg@cs.cmu.edu
  426.  
  427.    KR. Send mail to Brad.Myers@cs.cmu.edu for more info.
  428.  
  429.    PARKA. Frames for the CM. Contact spector@cs.umd.edu.
  430.                        
  431.    PARMENIDES (Frulekit) is available free, after signing
  432.    a license agreement. Send mail to peter.shell@cs.cmu.edu 
  433.  
  434.    FROBS is available free by anonymous ftp from
  435.    cs.utah.edu:/pub/frobs.tar.Z
  436.    Contact Robert Kessler <kessler@cs.utah.edu> for more info.
  437.  
  438.    PFC is a simple frame system written by Tim Finin
  439.    available free by anonymous ftp from linc.cis.upenn.edu.
  440.  
  441.    YAK is a hybrid knowledge-representation system of the
  442.    KL-ONE family. Includes an optional graphical interface
  443.    depending on the Lisp. Available free after signing a license 
  444.    agreement. Contact Enrico Franconi <franconi@irst.it>.
  445.  
  446. Genetic Algorithms:
  447.  
  448.    GECO (Genetic Evolution through Combination of Objects) is a
  449.    genetic algorithm shell written by George Williams,
  450.    <george@hsvaic.boeing.com>. It is available by anonymous ftp 
  451.    from cambridge.apple.com:/pub/mcl2/contrib/ as the following
  452.    files:
  453.       GECO-v1.0.cpt.hqx       binhex'd Compact Pro archive
  454.       GECO-v1.0.tar.Z         compressed tar file for Unix machines (no MCL
  455.                               fonts)
  456.       GECO.abstract           a brief description
  457.    It runs in MCL 2.0, but should be portable among CLtL2 compliant
  458.    Common Lisps.
  459.  
  460.    GAL is a genetic algorithm suite written by Bill Spears of NRL. The
  461.    MCL2.0 port was done by Howard Oakley <howard@quercus.demon.co.uk> and
  462.    is available from cambridge.apple.com:/pub/MCL2/contrib as
  463.    GAL.sea.hqx.  Improvements and adaptations should be sent to Bill
  464.    Spears, but questions on the MCL port should be directed to Howard Oakley.
  465.  
  466.    Other genetic algorithms code is available  
  467.       ftp.aic.nrl.navy.mil:/pub/galist
  468.    including Genesis (source-code/ga-source/genesis.tar.Z) and the archives
  469.    of the GA-List mailing list. A survey of free and commercial
  470.    genetic algorithms implementations is available in
  471.    information/ga-software-survey.txt. 
  472.  
  473. Knowledge Representation:
  474.  
  475.    KNOWBEL is an implementation of Telos (a sorted/temporal logic
  476.    system) by Bryan M. Kramer, <kramer@ai.toronto.edu>. It is
  477.    available by anonymous ftp from ai.toronto.edu:/pub/kr/ as the
  478.    files knowbel.tar.Z and manual.txt.tar.Z 
  479.    Runs in Allegro CL on Sparcstations and Silicon Graphics 4d
  480.    and in MCL on Apple Macintoshes. 
  481.    
  482.    SNePS is a semantic net implementation, available free after
  483.    signing a license agreement. Contact shapiro@cs.buffalo.edu
  484.    for more information.
  485.  
  486.    COLAB (COmpilation LABoratory) is a hybrid knowledge representation
  487.    system emphasizing the horizontal and vertical compilation of
  488.    knowledge bases. It is comprised of cooperating subsystems -- CONTAX,
  489.    FORWARD, RELFUN and TAXON -- which deal with different knowledge
  490.    representation and reasoning formalisms. Each subsystem can also be
  491.    used as stand-alone system. CONTAX deals with constraint nets and
  492.    constraint-propagation techniques. Relational knowledge in the form of
  493.    Horn rules is processed by forward (FORWARD) and backward (RELFUN)
  494.    chaining. Taxonomic knowledge is represented by intensional concept
  495.    definitions which are automatically arranged in a subsumption
  496.    hierarchy (TAXON).  The COLAB software was developed at DFKI and the
  497.    University of Kaiserslautern and runs in Common Lisp. (The subsystems
  498.    have been tested in AKCL and Lucid CL, and possibly also Allegro CL
  499.    and Symbolics CL.) All the subsystems are available free of charge for
  500.    research purposes.
  501.    o  RELFUN is a logic-programming language with call-by-value (eager),
  502.       non-deterministic, non-ground functions, and higher-order operations.
  503.       It accepts freely interchangeable LISP-style and PROLOG-style syntaxes.
  504.       For sources to RELFUN and copies of relevant papers, contact
  505.       Dr. Harold Boley, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany,
  506.       call +49-631-205-3459, fax +49-631-205-3210, or send email to
  507.       boley@informatik.uni-kl.de.
  508.    o  TAXON is a terminological knowledge representation system extended by
  509.       concrete domains.  For sources to TAXON and copies of relevant papers,
  510.       contact Philipp Hanschke, DFKI, Postfach 2080, W-6750 Kaiserslautern,
  511.       Germany, call +49-631-205-3460, fax +49-631-205-3210, or send email to
  512.       hanschke@dfki.uni-kl.de.
  513.    o  CONTAX is a constraint system for weighted constraints over
  514.       hierarchically structured finite domains. CONTAX uses CLOS in addition
  515.       to Common Lisp.  For sources to CONTAX and copies of relevant papers,
  516.       contact Manfred Meyer, DFKI, Postfach 2080, W-6750 Kaiserslautern,
  517.       Germany, call +49-631-205-3468, fax +49-631-205-3210, or send email to
  518.       meyer@dfki.uni-kl.de.
  519.    o  FORWARD is a logic programming language with bottom-up and top-down
  520.       evaluation of Horn clauses. For sources to FORWARD and copies of
  521.       relevant papers, contact Knut Hinkelmann, DFKI, Postfach 2080, W-6750
  522.       Kaiserslautern, Germany, call +49-631-205-3467, fax +49-631-205-3210,
  523.       or send email to hinkelma@dfki.uni-kl.de.
  524.  
  525. Languages and Alternate Syntaxes:
  526.  
  527.    Generalized Lisp (or Glisp for short) is a coordinated set of high
  528.    level syntaxes for Common Lisp.  Initially GLisp consists of three
  529.    dialects: Mlisp, Plisp and ordinary Lisp, together with an extensible
  530.    framework for adding others.  Mlisp (Meta-Lisp) is an Algol-like
  531.    syntax for people who don't like writing parentheses. For example,
  532.    one can write print("abc", stream) instead of (print "abc" stream).
  533.    Plisp (Pattern Lisp) is a pattern matching rewrite-rule language.
  534.    Plisp is a compiler-compiler; its rules are optimized for writing
  535.    language translators.  All dialects may be freely intermixed in a
  536.    file. The translators for all dialects are written in Plisp, as is
  537.    the Glisp translator framework itself. Support routines for the
  538.    translators are written in Mlisp and/or Lisp. All dialects are
  539.    translated to Common Lisp and execute in the standard Common Lisp
  540.    environment. Glisp is available by anonymous ftp from apple.com or 
  541.       ftp.apple.com:dts/mac/lisp/glisp.tar.Z
  542.    GLISP runs in MCL and has to be modified for other Common Lisp
  543.    implementations. 
  544.  
  545.    CGOL is algol-like language that is translated into Lisp before
  546.    execution. It was developed originally by Vaughn Pratt. A Common Lisp
  547.    implementation of CGOL is available by anonymous ftp from
  548.       peoplesparc.berkeley.edu:pub/cgol.1.tar.Z  [128.32.131.14]
  549.    (The number "1" may increase if newer versions are posted.)  It was 
  550.    written by a UC Berkeley graduate student, Tom Phelps, as a term
  551.    project, so there may still be some rough edges. There is a lot of
  552.    documentation in the distribution, including the "original" CGOL memo
  553.    (pratt.memo). For more information, contact Richard Fateman
  554.    <fateman@peoplesparc.berkeley.edu>.
  555.  
  556.    StarLisp Simulator -- think.com:/cm/starlisp/starsim-f19-sharfile
  557.    Simulates *Lisp, one of the programming langauges used to program
  558.    the Connection Machine. Runs under Symbolics, Lucid, Allegro, and Franz.
  559.  
  560.    InterLisp->Common-Lisp Translator -- ftp.ai.sri.com:pub/pkarp/lisp/ilisp/
  561.    Other InterLisp to Common Lisp translators may be found in the LispUsers
  562.    archive listed above.
  563.  
  564.    The Yale Haskell system runs in CMU Common Lisp, Lucid CL, and AKCL.
  565.    It is available by anonymous ftp from 
  566.         Chalmers animal.cs.chalmers.se  129.16.225.66
  567.         Glasgow  ftp.dcs.glasgow.ac.uk  130.209.240.50
  568.         Yale     nebula.cs.yale.edu     128.36.13.1
  569.    in the directory pub/haskell/yale as the files
  570.         haskell-beta-2-source.tar.Z   -- full sources
  571.         haskell-beta-2-sparc.tar.Z    -- sparc executable
  572.  
  573. Lisp Tools:
  574.  
  575.    See the Lisp Utilities Repository in [6-2].
  576.  
  577.    The Automatic Memoization Facility adds a practical memoization
  578.    facility to Common Lisp. Automatic memoization is a technique by which
  579.    an existing function can be transformed into one that "remembers"
  580.    previous arguments and their associated results, yielding large
  581.    performance gains for certain types of applications.  This facility
  582.    extends the ideas from Norvig's book into what is needed for a
  583.    practical tool for us in large programs. It adds facilities for
  584.    bookkeeping and timing, and lets you evaluate of the timing advantages
  585.    of memoization, and save hash tables to disk for automatic reuse in
  586.    later sessions. The code is available by anonymous ftp from
  587.    archive.cs.umbc.edu:/pub/Memoization [130.85.100.53]. Contact Marty Hall
  588.    <hall@aplcenmp.apl.jhu.edu> for more information. The code includes an
  589.    overview of memoization and its applications.
  590.  
  591.    PLisp - A Common Lisp front end to Postscript. This translates many
  592.    Common Lisp functions to postscript as well as manage the environment
  593.    and many lispisms (&optional and &rest arguments, multiple values,
  594.    macros, ...).  Available via anonymous ftp in pub/plisp/plisp.tar.Z on
  595.    nebula.cs.yale.edu (128.36.13.1). Written by John Peterson,
  596.    peterson-john@cs.yale.edu.
  597.  
  598.    RegExp is an extension to Allegro Common Lisp which adds
  599.    regular expression string matching, using the foreign
  600.    function interface. Available by anonymous ftp from
  601.    ftp.ai.sri.com:/pub/pkarp/regexp/. Contact pkarp@ai.sri.com
  602.    for more information.
  603.  
  604.    ifi.informatik.uni-stuttgart.de:/pub/xit/cl-utilities/ contains
  605.    three small utilities:
  606.         completion.lisp         A simple filename completion program.
  607.         cl-utilities.lisp       Some macros for dealing with points,
  608.                                 regions, and some miscellaneous macros.
  609.         copy-objects.lisp       Code for copying instances.
  610.  
  611.    think.com:think/lisp contains some useful lisp code (most of it
  612.    Symbolics dependent) including:
  613.         lisp-lint.lisp          A set of compiler style checkers that
  614.                                 warn when a function call does not
  615.                                 conform to Common Lisp. 
  616.  
  617.    MEASURES is a system to handle engineering numbers and measures in
  618.    Common Lisp. It runs in Allegro CL, Lispworks, MCL, and Symbolics CL.
  619.    Written by Roman Cunis.  Some documentation can be found in the file
  620.    measures.doc and examples in measures-example.lisp.  It is available
  621.    from the Lisp Utilities Repository
  622.       /afs/cs.cmu.edu/project/ai-repository/ai/lang/lisp/lisp/syntax/
  623.    in the file measures-2.0.tar.gz.  For further information, contact Ralf
  624.    Moeller, University of Hamburg, Bodenstedtstr 16, 2000 Hamburg 50,
  625.    Germany, call 40-4123-6134, fax 40-4123-6530, or send email to
  626.    moeller@informatik.uni-hamburg.de.
  627.  
  628.    DEFTABLE provides a macro that unifies the interface to Common
  629.    Lisp's table-like data structures (e.g., association lists, property
  630.    lists, and hash tables). Written by Peter Norvig
  631.    <Peter.Norvig@East.Sun.Com>.  It is available by anonymous ftp from
  632.    ftp.ai.mit.edu:/pub/lptrs/deftable.lisp [128.52.32.6] and also the
  633.    Lisp Utilities Repository. An article describing deftable was
  634.    published in ACM Lisp Pointers 5(4):32-38, December 1992.
  635.  
  636. Machine Learning:
  637.  
  638.    ID3: A Lisp implementation of ID3 and other machine learning
  639.    algorithms are available by anonymous ftp from the machine learning
  640.    group at the University of Texas as cs.utexas.edu:pub/mooney
  641.  
  642.    COBWEB/3 is a concept formation system available free after
  643.    signing a license agreement. Contact cobweb@ptolemy.arc.nasa.gov
  644.    for more information.
  645.  
  646.    RWM (Refinement With Macros) is a Common Lisp program for learning
  647.    problem solving strategies. RWM takes a high level description of a
  648.    problem as input and successively refines it into a sequence of
  649.    "easier" subproblems, which collectively constitute a strategy for
  650.    solving the given problem. RWM also learns macro moves which are
  651.    useful for efficiently solving the problem. A short documentation and
  652.    some example problems/strategies are included. To get a copy of this
  653.    description, send mail to the Bilkent University Archieve Server
  654.    bilserv@trbilun.bitnet with "send RWM.tar.Z" in the body of the
  655.    message. For further information, contact H. Altay Guvenir
  656.    <guvenir@trbilun.bitnet>.
  657.   
  658. Mathematics:
  659.  
  660.    MockMma -- peoplesparc.berkeley.edu:pub/mma.tar.Z       [128.32.131.14]
  661.    A Mathematica-style parser written in Common Lisp. Written by Richard
  662.    Fateman; fateman@renoir.Berkeley.EDU. Runs in any valid Common Lisp.
  663.    Tested in Allegro, KCL and Lucid.
  664.  
  665.    rascal.ics.utexas.edu:/pub/             128.83.138.20
  666.       Maxima for Common Lisp (License required from National
  667.       Energy Software Center at Argonne.) Ported by Bill Schelter.
  668.  
  669.    QUAIL (Quantitative Analysis in Lisp) extends Common Lisp to better
  670.    support quantitative analysis. It includes an object-oriented
  671.    quantitative analysis programming environment based on CLOS.  Quail
  672.    was developed by the Statistical Computing Laboratory of the
  673.    Department of Statistics and Actuarial Science of the University of
  674.    Waterloo.  It includes a variety of mathematical and statistical
  675.    capabilities, such as symbolic and numerical differentiation,
  676.    numerical integration, probability calculations (e.g., pseudo-random
  677.    number generation), and statistical response models.  The
  678.    object-oriented graphics display facilities include building blocks
  679.    for arbitrary graphics, a collection of stock statistical graphics,
  680.    function plotting, 3d-rotating function and surface plots, and
  681.    graphical browsers. Quail currently runs in MCL, but a Franz and CLX
  682.    based version is forthcoming. It is available by anonymous ftp from
  683.    setosa.uwaterloo.ca [129.97.141.101] in pub/Quail/. You must read the
  684.    file README-I-MEAN-IT and return a signed copy of the license
  685.    agreement ($10 annual license fee) before using the software. For
  686.    further information, contact Dr. R. W. Oldford,
  687.    <rwoldford@watstat.waterloo.edu> or <rwoldford@watstat.uwaterloo.ca>.
  688.  
  689. Medical Reasoning:
  690.  
  691.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  The TMYCIN rule based system.
  692.  
  693. Music:
  694.  
  695.    Common Music is a music composition language written in Common Lisp
  696.    and CLOS that outputs music (directly or through scorefiles) to a
  697.    variety of synthesis packages, such as the Music Kit, Common Lisp
  698.    Music, MIDI, and CSound.  Common Music runs under MCL 2.0, Allegro CL
  699.    3.1.2 (NeXT), AKCL 1.615 (NeXT), Allegro CL 4.1 beta (SGI Iris), and
  700.    AKCL 6.15 (Sun4). It is available by anonymous ftp from
  701.    ccrma-ftp.stanford.edu [36.49.0.93] and ftp.zkm.de [192.101.28.17] in
  702.    the files pub/cm.tar.Z.  To be added to the mailing list, send mail to
  703.    cmdist-request@ccrma.stanford.edu. For further information, contact
  704.    Rick Taube, <hkt@zkm.de> or <hkt@ccrma.stanford.edu>.
  705.    [Note: In the Common Music sources, there is a generic portable Lisp
  706.    Listener style interpreter that supports command dispatching in
  707.    addition to Lisp evaluation. It is the file ./utils/tl.lisp.] 
  708.  
  709.    Common Lisp Music (CLM) is a software synthesis and signal
  710.    processing package (CL-MUSIC) and a package that makes it relatively
  711.    easy to take advantage of the Motorola DSP 56000 (CL-MUSIC-56).  It is
  712.    available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] as
  713.    pub/clm.tar.Z. Basic documentation is in clm.wn (or clm.rtf) and
  714.    ins.lisp.  CLM runs on NeXT under Allegro CL or KCL and on SGI Indigo
  715.    under Allegro CL. The non-56000 version should run on any machine with
  716.    C and Common Lisp. Send bug reports or suggestions to
  717.    Bil Schottstaedt <bil@ccrma.stanford.edu>.
  718.  
  719.    Common Music Notation (CMN) is a music notation package based on on
  720.    Common Lisp, CLOS (pcl), PostScript, and the Adobe Sonata font. It is
  721.    available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] as
  722.    pub/cmn.tar.Z.  To be added to the mailing list (same list as for
  723.    Common Music), send mail to cmdist-request@ccrma.stanford.edu.  Please
  724.    send bug reports and suggestions to Bil Schottstaedt
  725.    <bil@ccrma.stanford.edu>. 
  726.  
  727. Natural Language Processing:
  728.  
  729.    The Xerox part-of-speech tagger is available by anonymous ftp from
  730.    parcftp.xerox.com:pub/tagger/tagger-1-0.tar.Z. It is implemented in
  731.    Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and
  732.    Macintosh CL 2.0p2. For more information, contact the authors, Doug
  733.    Cutting <cutting@parc.xerox.com>, and Jan Pedersen
  734.    <pedersen@parc.xerox.com>.
  735.  
  736. Natural Language Generation:
  737.  
  738.    FUF is a natural language generation system based on Functional
  739.    Unification Grammars implemented in Common Lisp. It includes a
  740.    unifier, a large grammar of English (surge), a user manual and many
  741.    examples. FUF is available by anonymous ftp from
  742.       cs.columbia.edu:/pub/fuf/
  743.       black.bgu.ac.il:/pub/fuf/
  744.    as the files fuf5.2.tar.Z and surge.tar.Z. For further information,
  745.    contact the author, Michael Elhadad <elhadad@bengus.bgu.ac.il>.
  746.  
  747. Neural Networks:
  748.  
  749.    ANSIL  -- nervous.cis.ohio-state.edu:pub/lispusers/ansil/ 
  750.              "Advanced Network Simulator in Lisp"
  751.              email: ansil@cis.ohio-state.edu
  752.  
  753. Object-Oriented Programming:
  754.  
  755.    PCL -- parcftp.xerox.com:pcl/ [13.1.64.94]
  756.    Portable Common Loops (PCL) is a portable implementation of
  757.    the Common Lisp Object System (CLOS). A miniature CLOS
  758.    implementation called Closette is available pcl/mop/closette.lisp.
  759.  
  760.    CLOS-on-KEE -- zaphod.lanl.gov:/pub/
  761.    A subset of CLOS that is implemented on top of KEE. Contact
  762.    egdorf%zaphod@LANL.GOV (Skip Egdorf) for more info.
  763.  
  764.    MCS (Meta Class System) -- ftp.gmd.de:/lang/lisp/mcs/ [129.26.8.90]
  765.    Portable object-oriented extension to Common Lisp. Integrates the
  766.    functionality of CLOS (the Common Lisp Object System), and TELOS, (the
  767.    object system of LeLisp Version 16 and EuLisp).  MCS provides a metaobject
  768.    protocol which the user can specialize. Runs in any valid Common Lisp.
  769.    Contact: Harry Bretthauer and Juergen Kopp, German National Research
  770.    Center for Computer Science (GMD), AI Research Division,
  771.    P.O. Box 1316, D-5205 Sankt Augustin 1, FRG, email: juergen.kopp@gmd.de
  772.  
  773.    CommonORBIT (also called CORBIT) is an object-oriented extension of
  774.    Common Lisp.  It uses a prototype (classless) model of OOP, is easy to
  775.    use and yet has many sophisticated features found also in KL-ONE type
  776.    languages.  CommonORBIT is a Common Lisp reimplementation of ORBIT,
  777.    which was originally conceived by Luc Steels around 1981-1983.
  778.    Because of its delegation-based rather than class-based inheritance,
  779.    CommonORBIT offers extreme flexibility to define and change
  780.    practically anything at run-time.  Because of the generic functions,
  781.    it fits well into regular Lisp code.  It can co-exist with CLOS but
  782.    remains completely separate. The source code of CommonORBIT is in the
  783.    public domain and available by anonymous ftp from the Lisp
  784.    Utilities Repository,
  785.       ftp.cs.cmu.edu:user/ai/lang/lisp/
  786.    in the oop/non-clos/corbit/ subdirectory as the file corbit.tar.gz. 
  787.    Documentation is available as the files corbit.msword.hqx, corbit.ps
  788.    or corbit.text. A stripped-down version of CORBIT, known as BOOPS
  789.    (Beginner's Object-Oriented Programming System), is also available
  790.    from the repository as boops.tar.Z. For further information,
  791.    contact the author, Koenraad de Smedt <desmedt@ruls40.LeidenUniv.nl>.
  792.  
  793.  
  794. Parser Generators:
  795.  
  796.    Mark Johnson <mj@cs.brown.edu> has written a LALR parser generator
  797.    for Common Lisp. It is fairly small (about 500 lines of code) and
  798.    can be found in the Lisp Utilities Repository above.
  799.  
  800.    IPG (Incremental Parser Generator) is available by email from 
  801.    Jan Rekers <rekers@cwi.nl>.  It is an appendix to his thesis. It is
  802.    written in LeLisp, but should be portable to other Lisp dialects.
  803.  
  804.    Zebu 2.8.5 is a parser generator for Common Lisp by Joachim H. Laubsch
  805.    <laubsch@hplabs.hpl.hp.com>.  It is an extention written in Common
  806.    Lisp of the Scheme version.  It generates a LALR(1) parsing table.  To
  807.    parse a string with a grammar, only this table and a driver need to be
  808.    loaded. The present version of Zebu contains the ability to define
  809.    several grammars and parsers simultaneously, a declarative framework
  810.    for specifying the semantics, as well as efficiency related
  811.    improvements.  The current version compiles a grammar with 300
  812.    productions (including dumping of the tables to disk) in approx 2
  813.    minutes and 30 seconds on a HP 9000/370.  This implimentation has been
  814.    tested in Lucid CL, Allegro CL, and MCL 2.0b. The current version
  815.    can also produce a generator in addition to a parser. A copy may be
  816.    found on cambridge.apple.com:/pub/mcl2/contrib/zebu-2.2.tar.Z.
  817.  
  818.  
  819. Probabilistic Reasoning and Statistics:
  820.  
  821.    BELIEF is a Common Lisp implementation of the Dempster and Kong fusion
  822.    and propagation algorithm for Graphical Belief Function Models and the
  823.    Lauritzen and Spiegelhalter algorithm for Graphical Probabilistic
  824.    Models. It includes code for manipulating graphical belief models such
  825.    as Bayes Nets and Relevance Diagrams (a subset of Influence Diagrams)
  826.    using both belief functions and probabilities as basic representations
  827.    of uncertainty. It is available by anonymous ftp from
  828.    ftp.stat.washington.edu (128.95.17.34), and by email from the author,
  829.    Russell Almond <almond@stat.washington.edu>. Contact the author at
  830.    almond@statsci.com for information about a commercial version
  831.    GRAPHICAL-BELIEF currently in the prototype stages.
  832.  
  833.    XLISP-STAT is an extensible statistics package which runs in XLISP.
  834.    It has recently been ported to Common Lisp, and is available as
  835.       umnstat.stat.umn.edu:/pub/xlispstat/CL/CLS1.0A1.tar.Z [128.101.51.1]
  836.    The CL port does not yet include the lisp-stat dynamic graphics 
  837.    package, only the numerics. The XLisp version is available from
  838.    the above site and several mirror sites, such as mac.archive.umich.edu, 
  839.    and runs on the Apple Macintosh, Unix systems running X11
  840.    (Vax, PMAX, Sun3, Encore Multimax, and Cray XMP), Sun workstations
  841.    running SunView, and the Commodore Amiga. An experimental version
  842.    for DOS computers running Microsoft Windows 3.0 is also available.
  843.    Documentation is available online, in the tutorial introduction
  844.    pub/xlispstat/xlispstat.doc.tar.Z and also in the book
  845.       Luke Tierney, "Lisp-Stat: An Object Oriented Environment for Statistical
  846.       Computing and Dynamic Graphics", Wiley, 1990, 397 pages.
  847.       ISBN 0-471-50916-7. 
  848.    For more information, write to Lisp-Stat Information, School of
  849.    Statistics, 270 Vincent Hall, University of Minnesota, Minneapolis, MN
  850.    55455, or send e-mail to lispstat-info@umnstat.stat.umn.edu.
  851.  
  852. Planning:
  853.  
  854.    NONLIN -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  855.    Common Lisp implementation of the NONLIN planning system originally
  856.    designed and implemented by Austin Tate. Bugs can be reported to
  857.    nonlin-bugs@cs.umd.edu. User's group is nonlin-users@cs.umd.edu.
  858.    The authors request that anybody ftping the code send a message to
  859.    nonlin-users-request@cs.umd.edu, letting them know you have a copy
  860.    and also letting them know if you wish to subscribe to the users group.
  861.    More information can also be obtained from Jim Hendler, hendler@cs.umd.edu.
  862.  
  863.    ABTWEAK is a Common Lisp implementation of ABTWEAK, a hierarchical
  864.    nonlinear planner extending David Chapman's (MIT) TWEAK, may be obtained by 
  865.    anonymous ftp from jupiter.drev.dnd.ca in the directory pub/steve/Abtweak. 
  866.    A user's manual is included in the planner distribution, and a copy of the
  867.    associated masters thesis by Steven Woods, and other related papers are 
  868.    also contained in that directory. Send mail to woods@drev.dnd.ca for more
  869.    information.  
  870.  
  871.    RHETORICAL is a planning and knowledge tool available by
  872.    anonymous ftp from cs.rochester.edu:/pub/knowledge-tools
  873.    in the files rhet-19-40.tar.Z and cl-lib-3-11.tar.Z. The files
  874.    tempos-3-6.tar.Z and timelogic-5-0.tar.Z add James Allen's
  875.    interval logic to Rhet. It runs on Symbolics Genera and
  876.    Allegro Common Lisp. Written by Brad Miller <miller@cs.rochester.edu>.
  877.  
  878.    PRODIGY is an integrated planning and learning system,
  879.    available free after signing a license agreement. Contact
  880.    prodigy@cs.cmu.edu for more information.
  881.  
  882.    SOAR is an integrated intelligent agent architecture currently
  883.    being developed at Carnegie Mellon University, the University of
  884.    Michigan, and the Information Sciences Institute of the University of
  885.    Southern California. SOAR, and its companion systems, CParaOPS5 and
  886.    TAQL, have been placed in the public domain. The system may be
  887.    retrieved by anonymous ftp to ftp.cs.cmu.edu (or any other CMU CS
  888.    machine) in the directory /afs/cs.cmu.edu/project/soar/5.2/2/public/.
  889.    [Note: You must cd to this directory in one atomic operation, as
  890.    superior directories may be protected during an anonymous ftp.]  For
  891.    more information, send email to soar-request@cs.cmu.edu or write to
  892.    The Soar Group, School of Computer Science, Carnegie Mellon
  893.    University, Pittsburgh, PA 15213.  Finally, though the software is in
  894.    the public domain, the manual remains under copyright. To obtain one
  895.    (at no charge) send a request (including your physical mail address)
  896.    to soar-doc@cs.cmu.edu or to the physical address above. 
  897.  
  898.    A simple route planning agent implemented in Soar6 is available by
  899.    anonymous ftp from 
  900.       earth.med.ohio-state.edu:pub/IEEE-Soar-code/route-planning.soar6.
  901.    This is the complete code for the agent described in the IEEE Expert
  902.    article: Smith, J. W. and Johnson, T. R., "A stratified approach to
  903.    specifying, designing, and building knowledge systems", IEEE Expert,
  904.    8(3):15-25, 1993.
  905.  
  906.    SNLP is a domain independent systematic nonlinear planner,
  907.    available by anonymous ftp from cs.washington.edu:/pub/snlp.tar.Z
  908.    Contact weld@cs.washington.edu for more information. 
  909.  
  910.    IDM is a Common Lisp implementation of both a classical and extended
  911.    version of the STRIPS planner. It is available by anonymous ftp from 
  912.    sauquoit.gsfc.nasa.gov (128.183.101.29). Questions, comments and bug
  913.    reports may be sent to idm-users@chelmsford.gsfc.nasa.gov.             
  914.  
  915. Planning Testbeds:
  916.  
  917.    TILEWORLD is a planning testbed/simulator developed at SRI
  918.    International by Martha Pollack, Michael Frank and Marc
  919.    Ringuette. TILEWORLD originally ran under Lucid CL, but was
  920.    later extended and ported to Allegro CL by Badr H. Al-Badr
  921.    and Steve Hanks. The new tileworld is available by anonymous
  922.    ftp from cs.washington.edu as the file new-tileworld.tar.Z
  923.    It includes an X interface. Contact pollack@cs.pitt.edu for more
  924.    information. 
  925.  
  926.    TRUCKWORLD is a simulated world intended to provide a 
  927.    testbed for AI planning programs, where the planning agent
  928.    is a truck that roams around the simulated world. It is
  929.    available by anonymous ftp from cs.washington.edu in the
  930.    file simulator.tar.Z. It includes an X interface. Contact
  931.    Steve Hanks <hanks@cs.washington.edu> for more information.
  932.  
  933.    ARS MAGNA is a simulated world intended for use as a testbed for
  934.    planning and mapping programs.  The simulated agent is a robot in an
  935.    indoors environment.  High-level sensing and action are provided,
  936.    realistically modelled on current vision and robotics research.  It is
  937.    written in Nisp, a macro package running on top of Common Lisp.  It is
  938.    available by anonymous ftp from dept.cs.yale.edu in pub/nisp as file
  939.    ars-magna.tar.Z.  It includes an X display.  Contact Sean Engelson
  940.    <engelson@cs.yale.edu> for more information.
  941.  
  942. Qualitative Reasoning:
  943.  
  944.    QSIM is a qualitative reasoning system implemented in Common
  945.    Lisp. It is available by anonymous ftp from cs.utexas.edu:/pub/qsim
  946.    Contact Ben Kuipers <kuipers@cs.utexas.edu> for more information.
  947.  
  948.    QPE is the Qualitative Process Engine, an envisioner for QP theory.
  949.    QPE is publically available from multivac.ils.nwu.edu:pub/QPE
  950.    Maintained by Ken Forbus <forbus@ils.nwu.edu>.
  951.  
  952. Theorem Proving:
  953.  
  954.    MVL (Multi-Valued Logic) is a theorem proving system written in Common
  955.    Lisp. MVL is a bilattice-based reasoning system.  By changing the
  956.    bilattice, you can use MVL to do truth maintenance, nonmonotonic
  957.    reasoning, first-order reasoning, and a variety of other reasoning
  958.    strategies.  MVL is available by anonymous ftp from t.stanford.edu in
  959.    /mvl/mvl.tar.Z. A user's manual may be found in /mvl/manual.tex. For
  960.    more information, contact Matthew L. Ginsberg, <ginsberg@t.stanford.edu>
  961.    or <ginsberg@cs.stanford.edu>. Matthew asks that you send him an email
  962.    message if you retrieve the system by anonymous ftp.
  963.  
  964.    Boyer-Moore
  965.    ftp.cli.com:pub/nqthm/nqthm.tar.Z   Contact: kaufman@cli.com
  966.    rascal.ics.utexas.edu:/pub/             128.83.138.20
  967.       nqthm/               Boyer and Moore's theorem prover.
  968.                            Also available from ftp.cli.com:/pub/nqthm.
  969.       proof-checker/       Matt Kaufmann's proof checking
  970.                            enhancements to nqthm.
  971.    The mailing list nqthm-users-request@cli.com is for users of the
  972.    Boyer-Moore theorem-prover, NQTHM.
  973.  
  974.    DTP is a general theorem prover incorporating domain-independent control
  975.    of inference.  Implemented in CLtL2 Common Lisp, it runs in Franz
  976.    Allegro, Lucid, and Macintosh (MCL) Common Lisp.  It is available by
  977.    anonymous ftp from meta.stanford.edu:pub/dtp/ [36.8.0.54].  Contact
  978.    Don Geddis <Geddis@CS.Stanford.EDU> for more information.
  979.  
  980.    RRL (Rewrite Rule Laboratory) -- herky.cs.uiowa.edu:public/rrl
  981.    [128.255.28.100]
  982.  
  983.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  984.    a portable resolution theorem-prover written in Common Lisp. It is
  985.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  986.    If you take a copy of FRAPPS, please send a short note to Prof.
  987.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  988.  
  989. Truth Maintenance:
  990.  
  991.    The truth maintenance system and problem solver implementations
  992.    described in the book "Building Problem Solvers" by Ken Forbus and
  993.    Johan de Kleer are available by anonymous ftp from
  994.    parcftp.xerox.com:/ftp/pub/bps/. For more information send mail to
  995.    Johan de Kleer <deKleer@parc.xerox.com>.
  996.  
  997. Virtual Reality:
  998.  
  999.    VEOS (Virtual Environment Operating Shell) is an extendible environment
  1000.    for prototyping distributed applications for Unix. The programmer's
  1001.    interface uses XLISP 2.1. Although intended for distributed
  1002.    Virtual Reality applications at The Human Interface Technology Lab
  1003.    in Seattle, it should be appropriate for other applications.  VEOS
  1004.    uses heavyweight sequential processes, corresponding roughly to
  1005.    unix processes. VEOS runs on DEC/5000, Sun4, and Silicon Graphics
  1006.    VGX and Indigo. VEOS is available by anonymous ftp from
  1007.    milton.u.washington.edu (128.95.136.1) in the directory ~ftp/public/veos
  1008.    as veos.tar.Z. If you use the software, the authors ask that you send
  1009.    them mail to veos-support@hitl.washington.edu.
  1010.  
  1011. Vision:
  1012.  
  1013.    OBVIUS -- whitechapel.media.mit.edu:/obvius/ [18.85.0.125]
  1014.              white.stanford.edu: [36.121.0.16]
  1015.    Object-Based Vision and Image Understanding System (OBVIUS), is a Common
  1016.    Lisp image processing package. Provides a library of image processing
  1017.    routines (e.g., convolutions, fourier transforms, statistical
  1018.    computations, etc.) on gray or binary images and image-sequences (no
  1019.    color support yet), an X windows display interface, postscript printer
  1020.    output, etc.  It uses a homebrew interface to X11 (i.e., it does not use
  1021.    clx or clue). However, they eventually hope to port Obvius to a clx/clue
  1022.    platform. Written by David Heeger <heeger@white.stanford.edu> and Eero
  1023.    Simoncelli <eero@whitechapel.media.mit.edu>. Runs in Lucid-4.0. Includes
  1024.    LaTeX documentation and User's Guide.
  1025.  
  1026. Miscellaneous:
  1027.  
  1028.    ftp.csrl.aoyama.ac.jp:
  1029.       YY/       YY window toolkit sources
  1030.       lispsrc/  several common lisp sources, including MIT's FRL.
  1031.  
  1032. ----------------------------------------------------------------
  1033. Subject: [6-6] Formatting code in LaTeX
  1034.  
  1035. SLaTeX is a R4RS-compliant Scheme program that allows you to write
  1036. program code "as is" in your LaTeX or TeX source.  It is particularly
  1037. geared to the programming languages Scheme and Common Lisp, and has
  1038. been tested in Chez Scheme, Common Lisp, MIT C Scheme, Elk, Scheme->C,
  1039. SCM and UMB Scheme on Unix; and MIT C Scheme and SCM on MSDOS.  The
  1040. formatting of the code includes assigning appropriate fonts to the
  1041. various tokens in the code (keywords, variables, constants, data), at
  1042. the same time retaining the proper indentation when going to the
  1043. non-monospace (non-typewriter) provided by TeX.  SLaTeX comes with two
  1044. databases that recognize the standard keywords/variables/constants of
  1045. Scheme and Common Lisp respectively.  These can be modified by the
  1046. user using easy TeX commands.  In addition, the user can inform SLaTeX
  1047. to typeset arbitrary identifiers as specially suited TeX expressions
  1048. (i.e., beyond just fonting them).  The code-typesetting program SLaTeX
  1049. is available by anonymous ftp from cs.rice.edu as the file
  1050. public/dorai/slatex.tar.Z. Send bug reports to dorai@cs.rice.edu.
  1051.  
  1052. SchemeWEB is a Unix filter that translates SchemeWEB source into LaTeX
  1053. source or Scheme source.  Originally developed for the Scheme dialect
  1054. of Lisp, it can easily be used with most other dialects.
  1055. Posted to comp.sources.unix, Volume 26, Issue 82, by John D.
  1056. Ramsdell <ramsdell@linus.mitre.org>, under archive name schemeweb/part01.
  1057.  
  1058. LiSP2TeX is a system that allows easy insertions of Scheme, or Lisp,
  1059. code towards TeX files. The originality of LiSP2TeX is that it
  1060. extracts Scheme definitions from the files where they appear and wraps
  1061. them appropriately within TeX macros for insertion into the
  1062. documentation file. LiSP2TeX decorrelates writing documentation from
  1063. programming: it is therefore possible to separately develop programs
  1064. and documentations and to merge them at the end to produce up to date
  1065. final documents. LiSP2TeX also has some pretty-printing capabilities
  1066. to produce denotations full of greek letters. It is available by
  1067. anonymous ftp from ftp.inria.fr:INRIA/Projects/icsla/.
  1068.  
  1069. ----------------------------------------------------------------
  1070. Subject: [6-7] Where can I get an implementation of Prolog in Lisp?
  1071.  
  1072. Implementations of Prolog in Lisp:
  1073.  
  1074.    The Frolic package from the University of Utah is written in Common Lisp
  1075.    and available by anonymous ftp from cs.utah.edu:pub/frolic.tar.Z
  1076.      
  1077.    LM-PROLOG by Ken Kahn and Mats Carlsson is written in ZetaLisp and not
  1078.    easily portable to Common Lisp. It is available by anonymous ftp from
  1079.    sics.se:archive/lm-prolog.tar.Z.
  1080.      
  1081.    Peter Norvig's book "Paradigms of AI Programming" includes Common Lisp
  1082.    implementations of a prolog interpreter and compiler. The software is
  1083.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  1084.    Macintosh or DOS format from the publisher, Morgan Kaufmann.  For more
  1085.    information, contact: Morgan Kaufmann, Dept. P1, 2929 Campus Drive, Suite
  1086.    260, San Mateo CA 94403, (800) 745-7323; FAX: (415) 578-0672
  1087.  
  1088.    Harlequin's LispWorks comes with Common Prolog -- a fast
  1089.    Edinburgh-compatible Prolog integrated with Common Lisp.  Write to:
  1090.    Harlequin Limited, Barrington Hall, Barrington, Cambridge, CB2 5RG, call
  1091.    0223 872522 (or 44223 872522 outside UK), telex 818440 harlqn g, fax 0223
  1092.    872519, or send email to ai@uk.co.harlqn (or ai@harlqn.co.uk for US people).
  1093.  
  1094.    eLP (Ergo Lambda Prolog) is an interpreter written by Conal Elliott,
  1095.    Frank Pfenning and Dale Miller in Common Lisp and implements the core
  1096.    of lambda Prolog (higher-order hereditary Harrop formulas). It is
  1097.    embedded in a larger development environment called ESS (the Ergo
  1098.    Support System).  eLP implements all core language feature and offers
  1099.    a module system, I/O, some facilities for tracing, error handling,
  1100.    arithmetic, recursive top-levels, on-line documentation and a number
  1101.    of extended examples, including many programs from Amy Felty's and
  1102.    John Hannan's thesis.  It should run in Allegro Common Lisp, Lucid
  1103.    Common Lisp, Kyoto Common Lisp, CMU Common Lisp and Ibuki Common Lisp.
  1104.    The eLP implementation of lambda Prolog is no longer developed or
  1105.    maintained, but it is still available via anonymous ftp from
  1106.    ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/ergo/export/ess/. The file
  1107.    ergolisp.tar.Z contains the Ergo project's extensions to Common Lisp,
  1108.    including some facilities for attributes and dealing with abstract
  1109.    syntax trees. The file sb.tar.Z contains the Ergo
  1110.    Parser/Unparser/Formatter generator and ab.tar.Z contains the Ergo
  1111.    Attribute Grammar facility. The file elp.tar.Z contains the Ergo
  1112.    implementation of lambda Prolog.  To customize grammars you need the
  1113.    sb.tar.Z file.  When you retrieve the system, please print, fill out,
  1114.    and send in a copy of the non-restrictive license you will find in the
  1115.    file LICENSE. To subscribe to the elp@cs.cmu.edu mailing list, send
  1116.    mail to elp-request@cs.cmu.edu. Bugs should be sent to
  1117.    elp-bugs@cs.cmu.edu.
  1118.  
  1119. See the Scheme FAQ for information on implementations of Prolog in Scheme.
  1120.  
  1121. ----------------------------------------------------------------
  1122. ;;; *EOF*
  1123.  
  1124.